fix another one of these copy&paste fails