whoops, fix minor mistake that usually doesn't matter