User: 2014.07: Minor but annoying config change