Bugfixes, style tweaks