fix removed koan file