Fix link for activation_instruction/2;