[FIX] Small fix for server_cleanup.fsm