correcting markup error in javadoc comments