Syncing WriteLatex and Github versions