Again, arbitrary change here, not sure if it's worth it (see remark above).