Deze molen wordt tegenwoordig 'Hollandia' genoemd, maar stond in de tijd dat hij nog in bedrijf was bekend als 'De Hollandse Molen' (bemaalde immers de Hollands-Ankeveense polder maar er was ook de Stichts-Ankeveense polder). Die naam zou tegenwoordig, gezien de naam van de landelijke molenvereniging, verwarrend zijn geweest!