Minor corrections to the inline documentation