OOPS: Left in some debugging info in specs. Removed