minor technical corrections