Merge from ShareLaTeX
Merge sharelatex-2014-09-12-1214 into master