Fix hbox and such

I chaged "lined" to "vlined" for the full algorithm. It's ugly but it
isn't too large for the page. With "lined" it was 8.5pt too large. If
possible, it would be better to revert this change.