Sometimes when typing on a remote computer, one key gets doubled up as two.