Fix link for activation_instruction/3;