some additional changes to the formatting