I just realized I tabbed one of those chords wrong in that jazz progression. Fmaj7 is (xx3555), (xx3335) is Bb maj7, actually both work in the prog..