Bug fix inequalities breaking makexxpretty