Avoid taglist's annoying not-loaded warning