(Javadoc touch up)