Hmm, OK so there seems to be a bug here, that is, one number was missing in the editor. I'll check on Monday if this was fixed, thanks for the report.