Fix stupid bug in special case