Fix docstring of -declare-checker