Fix minor desugaring bug.