Fixed a few instructions typos