bugfixes, style fixes