Fix spec error with BV-membership