Hi xdesi,
thanks for your reply.
I did check the theme-editor, and when I selected
the respective file for editing, the file was loaded
as non-editable. Then I realised that I need to change
the permission for the files under the control panel.
Just realised this, as being a newbie.
Many thanks anyway for your reply.