small bugfix to linker