Fixing JavaDoc