small suggestions made by Karl