issue 6902: The top of the stack is not selected when the execution is halted