fix missing header in documentation