Check in the fix I did not apply before committing (facepalm)