Tiny fix for compilation.