Got the debugging instructions up to date *finally*