Fix 'no database selected' error in INSTALL.md