minor
Minor adjustments because of updated grisu version.