some cosmetic stuff plus a minor function for winkler