Doc comment fixes