Previous changes to the `debugger` tool introduced typos in two trace options