fix some minor styling problems