Fix warnings in FiniteMap