minor format corrections