they have included a remark in their system to read 'Ms' as 'Mr'.
É isso aí, não se preocupe. E verificar títulos em um ingresso não é tarefa de um oficial de imigração, é o trabalho da equipe de check-in e eles verão uma nota pelo escritório deles.
Muitas companhias aéreas não permitem alterações de nomes após a emissão de um bilhete, mas se você solicitar essas alterações devido a um erro, elas indicam as observações para a equipe de check-in. Isso é exatamente o que eles fizeram por você e isso é bom o suficiente, não se preocupe.
Eu cometi este erro várias vezes com diferentes companhias aéreas e essas observações sempre ajudaram. Eu nunca fui questionado sobre isso.