Tiny fix for the default theme