Corrected data type referenced in JavaDoc comments