Fixing type in javadocs