Bug fix in C back end.