Update instructions for leap