minor fixes. #13