Fix terminal font