sorted a tiny bug in the mysql installer