Fixing BVA -- seen vs seen2 bug in constructor