Fix bug in View::addExtension