fixes boolean type; fixes #13