Minor typing fixes.