Forgot memory verification base clause. Properly fixes #1