I still am wondering what the right thing to do now is so that we can accommodate whitespace declarations later on...