Is this just a typo-fix from the previous version, or is this an actual change?