Fix type in Javadocs