Updates from ShareLaTeX
Merge sharelatex-2014-12-08-1348 into master