some fixes for JavaDoc