Iris/Result: Fix alignment in manual