Require at least Buzz 0.7 instead of only 0.7