Name of extenxion was roughly typed