More changes to bsystems.v