Jormun: remove unused comment
Merge pull request #574 from antoine-de/remove_unused_comment

Jormun: remove unused comment