Small bug fix. (It now builds under clang)