Oops, forgot a fix in c1a0d3555af0c