Improved styling of ampersands in headers

Generated by commit 767d3e5d6b5c564a17ecd5dd23e24170c9be6eac; pushed by Travis build 58.