patch to silence compiler warnings (Federico)
(cherry picked from commit bee16598af8d686971adea1f905c104dac46afb9)