Update src/Keys.hs