tiny sql style fix