mixing loose and tight code styles in this code. in a few place, this is the most obvious one.