Fixed so that it compiles on the Linux machine