@mvidner You're right, see #197 for a fix.