I already have identified the code (string) and have send it along with info to Karel.

I expect it to be corrected with the next vps update.