Quick fix to a compile bug