sprinkle a few probably completely useless finals around the code