Bug fix (cf. "about 0.0.4.md")