Javadoc: updated javadoc