Fix haddocking with older haddocks