fix JavaDoc warning