Fixed JavaDoc bug