minor change (formatting)