some more or less useless private stuff...