s/be be/be/

Fixes Issue #8143