@merl: Good catch. Fixed now.