Corrected a JavaDoc type