minor bugfixing