Better message for unknown identifier in extension