formatting

(finally might be right)