Fix ProperSearch (stupid IDE)