Minor enhancements to math hierarchy