Whoops. Too much textwidth-applying...