A revised completeness result for the simply typed $lambdamu$-calculus using realizability semantics (Logical Methods in Computer Science, 2017)