Another minor docblock fix