#10 minor pretty changes