fix #374 (#375) without a new copy/paste mistake

and with tabs instead of spaces for indentation...