ref #66: ...