Minor simplification of one of the example configs