Fixes embarrasing mistake.

I forgot to add a file. Oops.