Further revisions as per Jarad's comments; added references