Note two more bugs found (and hopefully fix the markdown formatting).