Minor Pro-related tweak.