More debug information in minimize()