fix another screwup/typo in 782dd70