Ups, left forgotten from a previous approach. Should delete the comment.