formatting fixes and instruction improvements