Fix two mistakes