Fix alignment in Nat induction principle display.