Update the lazy instructions