View the changed web page in your browser. Make sure you clear the cache, to be sure you have the new version. If nothing changes, delete the file (and only that file) from the server and try to view the file again. If nothing continues to change, you and WordPress are looking at completely different files.