Fixed with #72.