Fix minor typo in Javadoc comments