[#862811] Better name for flag.