Fixes some bad hardcoding I did on the instructions file