bugfixes and detailed toString methods