A few byte-compilation warnings silenced