minor (formatting) changes