fix a bug where the user couldnt override the mapping for <cr>