Small change in the javadoc of Level.getMembers