# [#31658] correct header for some ini files. Thanks Tobias Zulauf
(Fix #1652)