formatting

minor stuff