Fixing the header comments of a couple of X11-specific files