Fix typo in Javadoc

Fixes gh-938