Koeman: I’ve said it so many times, Messi is happy