Removed debugging code from spec