Make sure <CR> works