haddoc update caused by 29c52895b7f55cd90c11225fa9bd7ff48225f0da