Notes on the Lefschetz fixed point theorem for elliptic complexes