That dent is not big enough to be worth hammering out.

那个凹陷不大，用不着把它锤平。