Using a more general regexp pattern (probably a discrepancy among bash versions) -- probably fixes #8.