Misc website fixes

A variety of very minor website fixes.