Modifying the JS/source to change button names