Fixes in doc comments