dfd2d332

By: Tom Sydney Kerckhove <syd@cs-syd.eu>

Fix three defects the review found: block-comment attachment, a vacuous fact assertion, and annotate rewriting bytes