Minor fixes for User javadoc

Thank you.