yet another font change, different small corrections