[ocdtrekkie]

Once the personalized filter is activated (requires marking 200 as spam and 200 as not-spam), this problem should go away entirely. It did for me anyways.