nitpick: we are not so attached to the 80 chars limit, I think having those 3 lines on one should be fine.