minor change, removing superfluous comments