This suggests a bug.