Behrend's fixed point formula