This fixes a compilation error caused by b2c0d632 (Add witness, a simple online locking validator.). This resolves #375.