Apologies, in removing spam posts some normal ones were represented (somehow cached) by the previously deleted posts. So I thought that they weren't deleted properly, and clicked delete again, and it deleted a 'real' post.
Will report to muut, and will be more careful next time.