Added final modifiers

(not in v0.7 release)