We show that permutations avoiding both of the (classical) patterns 4321 and 3241 have the algebraic generating function conjectured by Vladimir Kruchinin. Comment: 11 pages, 6 figures, final version, to appear, Discrete Mathematics & Theoretical Computer Science (DMTCS)