fix file name

thanks travis for pointing out :)