Fix edoc generation