fix a bug inhibiting compilation