Minor enhancements to for-comprehension writeup.