Fix bad indentation in lain.midi.play-midi-keys