Same remark about dots in extensions here.