Eliminate new (spurious) scala warning