Updates from ShareLaTeX
Merge sharelatex-2014-12-07-1653 into master