Fix typo in previous change; 3 lines were omitted.