Minor javadoc corrections in DBPermissionManager