@tomthumb: Thanks a lot!