I believe that you are correct. I don't use the professional theme, so I'm not too familiar with it, but that looks like the right place.
I also looked at your site, that doesn't look like the professional theme. As far as I know, geeklog.net is how the professional theme should look. Maybe you are using a different theme?