added get_extension