Fix minor issues in instructions