! Typo (fixes #1601)