Fixed erroneous header import in documentation