fixed mistake noticed by @lucaswerkmeister