JavaDoc bug fixes