some fixes in instructions