A minor change to make life better.