actually i'm wrong there. that other case is unreachable.