minor fix to eliminate redundant use of the word final