Fix small error in end-case handler.