Misleading error message when trying to build without Python support

Trying to build 9.11.7-S1 without Python support, one of our customers received this error message:

configure: error: Python >= 2.7 or >= 3.2 and the PLY package are required for dnssec-keymgr and other Python-based tools. PLY may be available from your OS package manager as python-ply or python3-ply; it can also be installed via pip. To build without Python/PLY, use --disable-python.

Unfortunately the name of the necessary configure option is "--without-python".