After checking, this appears to be a bug in the original version. Please file a separate ticket and fix.