I was actually surprised that OPAM did not complain about the value Gregory put there...