there was an opportunity here to fix the indentation (otoh in a few versions this code will probably be thrown out)