Minor adjustments because of updated grisu version.