Fix a bug introduced by a bad code-completion