fix instructions and sync
instructions: refinements