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