Silenced a gcc warning in spice backend