Could be worth typesetting though.