Attempting to fix the formatting of a couple of code listings