Actually, never mind. After looking at the code below. I think this is OK.