Changed file name

For some reason github converted my / to a : and it breaks sean’s
computer.