Compilation: warning fixes.