A small example on modifyability