removed dead file, other cosmetical changes