fix requested by @lucaswerkmeister