Documentation fix

Minor fixes