ASL: version 20141106.

Closes #1343.