Fix alignment in Nat induction principle display.
Merge pull request #304 from mstone/master

Fix alignment in the Nat induction principle display. Thanks!