fix #374 without a new copy/paste mistake

and with tabs instead of spaces for indentation...