This looks like it will notify Undocked twice (once here, and then again in the next tick of the state machine). Likewise for the RA sequence.