Bug fix in ex 2.3