libgtop's dependency on gnome-terminal

Hi, I discovered today that libgtop depends on gnome-terminal which pulls in the whole gnome-platform-suite. I don't understand why this dependency is declared, because libgtop builds fine without gnome-terminal. Is this a mistake? Rainer