Make the tops of the letters nicer

Similar to #793.