small fixes before publishing