textdocument.h: add missing include