CodeLint: a minor fix