Harmonic mappings, univalence criteria and a theorem of Lehtinen