minor bugfixing for release