Fix two silly errors