Fix for a bug reported over ML (error: unbalanced parenthesis)