Fix bogus test case (still true anyway)
Undoing empty stack throws exception
// NOLINT(whitespace/braces)