fix ugly formatting