Update Slither.xml