@Nick Ashley,
Thanks Nick, it works now. Don't know what went wrong the first time (the button didn't change to Un-Ignore and Miller isnt in my Ignored Users list), but I just looked up Rama's profile and clicked the ignore button there, and it worked fine.
(I'm not going to name any more users, really :-). Just wanted to make clear I wasnt just ignoring random political opponents or anything, just a couple of cases anyone would immediately understand my decision about ;-)