Update ASL to 20131209.

Closes #557.