small fixes, improve doc