Minor changes: add javadoc