fixing two typos
machine-generated version