(for the pubic record) After discussing on irc, we agreed this implementation code is fine.