mod spec syntax to updated be_within