asl 20141202

Fixes #1427.