Deleting a post causing a bugged notification certainly sounds like a bug to me, it should delete it then.