Fix two silly mistakes in previous commit or two.