Fix wrong result on example