minor formatting bugfixes