Fix #729: Unhandled switch