Fix something that didn't get checked in