haddoc update caused by 25559748dc8c1618f0d45d23479429781ab433de