tiny javadoc change