added a couple of final extensions