Typesetting parsimony. (Only in "set up", though a little excessively.) Hackishly fixes a little mobile bug where typesetting is not complete.