Shorter mysql prints