Fixing minor markup issues in instructions