That's it then, don't worry. Many airlines do not allow any changes to names after a ticket has been issued but if you request them for such changes due to a mistake they indicate those in remarks for check-in staff. That's exactly what they did for you and that's good enough, don't worry.