ASL: 20141030.

Fixes #1322.