hmm, i think either way works. Let's leave it for now.