Fixed minor error due to a text editor