JavaDoc type fix