Some smaller changes to make the webapp building smoother, and also to make sure there are no errors on a clean Git checkout.