Actually fix the doc comments