small fixes on style