Small fix to ex 9