KMP: fix |