Minor CtrlP plugin tweaks