I did... and it worked!
But now a day later... it's stopped working again on the external HD. I did Disk Cleanup again, but nothing seems to have happened so far.