Fix two embarrassing mistakes