Fix stupid bug in fix for stupid bug in 40f04e5