Post-merge follow up on fixes suggested in #5319 (!5349) · Merge requests · Administrator / sourcegraph · GitLab

Administrator requested to merge web/follow-up-fixes into master Aug 23, 2019

Created by: mrnugget

This implements the two suggestions made by @felixfbecker in #5319.

Thanks for those!