Minor changes to documentation (correct github links)