Slight improvements to closed-form detection.