I went about the instructions just as they are described here, but I got to an error, asking me to run the setupStore.php, which I did.
Things look fine now, but I wonder if there is something wrong with my installation, or if instructions are incomplete.
Thanks.