Error in spec for MySQL