[small fixes]