whoops, that was a bug.