patch to silence compiler warnings (Federico)