Revert "! Typo (fixes #1601)"

This reverts commit 7cbed5edc02a36eb5d111a7df7dfd10ce0cf661d.