Ensuring that DefaultDatabase is set to whatever the user passes in code.