BUGFIX: added braces() required by BASH v4