more typos and lift |-> suspend