Fixing instructions, see #31