some source formatting things