FIX: issue #374 (SWITCH can't occur at end of file)