Minor bug fix in stallation SQL scripts