A few (hopefully helpful) tweaks for 2014-01-30 post