Fixed a wrong javadoc reference in documentation