Fixing JavaDoc warning