spacing change (minor formatting)