The bug described here was already fixed as #1065 (closed) via !1681 (merged).
Closes #1191 (closed).