ex4 bug