minor change to the extensions library