Minor: fixed typo in Javadoc