warning re. other extensions