various minor formatting things.