strange correction with pro (see cucumber.properties)