sergio-proxy: Make tiny, tiny style changes.