Fix example for 'core is-installed'