Small bug fix to theme_checker.