formatting changes to make dongs happy