Changed filename

Mostly just so GitHub displays contents.