fixed issue #2 to make the Extension Manager update work again. Thank you tullis!