Small clean-up in gedit-document.h