Minor change to mysql symbol wrapper