Fixed minor Travis warning about deprecated # comments in INI files.