ASL: version 20141223.

Fixes #1526.
Closes #1527.