Main body: corrected mistakenly written "bottom" --> "right"

In the old versions of this paper, the two components of Figure 1 were
under each other, so we referred to them as "top" and "bottom"! However, we
later put them beside each other (by shrinking the data graph), so they
became "left" and "right".

I just noticed that within the main body of the text, in one place, we were
still mistakenly saying "bottom"! So with this commit, it has been changed
to "right".

Unfortunately this has gone into the final publication on CiSE, but it is
important to fix such minor issues anyway (the good thing with having a Git
history!), we also haven't yet put the final upload on arXiv.

0 files changed, 0 insertions, 0 deletions