While not necessary, it's fine to make this change.