Fixed a weird compilation error.