Found, and fixed the error in the linux version. I can't upload the fix before the end of IGMC'18, though.
