Cleaned up debugging messages, fixed Yale spec.