Fix missing file extension

Not quite sure how I managed to commit a file without its .hx extension,
but I did.