fix nasty mysql parsing error