eek, fix from @lucaswerkmeister for #975