fixed type in javadocs