Fix stupid mistake that broke compilation in Linux

Oops.