Minor tex changes
Prettier mauna learning curve