trivial compilation fix