Use theme short name in example

Since the theme file is in the default dir.