minor fixes. #76