that was a bug!