Minor formatting fixes in paper
Minor formatting fixes in paper

jamesrobertlloyd/gp-structure-search,ekamioka/gp-structure-search,jamesrobertlloyd/gp-structure-search,ekamioka/gp-structure-search,jamesrobertlloyd/gp-structure-search,jamesrobertlloyd/gp-structure-search,codeaudit/gp-structure-search,codeaudit/gp-structure-search,codeaudit/gp-structure-search,ekamioka/gp-structure-search,jamesrobertlloyd/gp-structure-search,codeaudit/gp-structure-search,ekamioka/gp-structure-search,ekamioka/gp-structure-search,codeaudit/gp-structure-search