It seems you are right. Ignore the above :)