Undo with formal parameters in methods definition is wrong in many cases:
1- Add the type, the name, then do undo. This will cause both slots to clear. If the user puts a comma after, the behaviour will become correct.
2- Inserting a formal parameter, a comma, a type for the second parameter, then do undo. This will clear the second param and the name of the first one.