fixed Alloy example in docs