fix this spurious error for real, now that I understand it