Fix layout of table in 'Rules of rewriting'