A note on degree theory for gradient mappings