minor maintenance improvement

Merged Andreas Hamacher requested to merge maint99 into master

Merge request reports