small updates for 0.8.3