Fix a docComment bug