correct syntax (fixes #3994)