Fixing wrong references in JavaDoc