fixed small bug: resolved was always invoked in -c