Another minor edit after staging push