updates from writelatex web version