Revert "Ignore final"

This reverts commit e0cf12d62cd5a28ece71fbd13a76a55952aa44ec.