Great. Feel free to ask if you have any other questions. Also, I would recommend you to edit .php files via FTP, not via the WP editor.
Regards