Yes, this is just the default config.  I thought it clearer to leave it unchanged.