Fixed a bug in documentation comments