this appears to be a bug