@Dave -- thanks for pointing out the bug here, i've pushed the equivalent fix to our mailing list for review for Maverick. Good spot.
@Dave -- thanks for pointing out the bug here, i've pushed the equivalent fix to our mailing list for review for Maverick. Good spot.