Interesting, I double checked the code, but I don’t see an issue why.
Do you have access to the database? There is an option “_asp_index_ignore” in the wp_options table, which holds the IDs of ignored posts. If you have access to the database, then can you check it’s value?
