This was typed in to match the listing in the PDF write-up.