Updates from ShareLaTeX
Merge sharelatex-2014-12-05-1335 into master