just reading

there was, in fact, no bug!