Nitpicking in the INSTALL docs' database config section