give up on formatting; already wasted too much time on this