tiny script fix for the fancy theme