Fix a character error (by eclipse)