fixed in #1368, with javadoc saying keys are IDs