haddoc update caused by d8a12c273a176ceecfab59522985b46901bf7bf2