A limitation on the KPT interpolation (Logical Methods in Computer Science, 2020)