Correcting a bug with the linker