fixes #1525
small javadoc fix