Áxel Costas Pena

I know it can be hard to decide to which rule referes a comment sometimes, but if the rules are each in one different line, it's obvious. So when reordering...

See https://stackoverflow.com/a/47927193/1670956 for a full explanation of the problem solved.