fix a low-level error