If this option isn't necessary, I think it should be removed from the original parameters file example above, as this will likely cause confusion.