Trivia plugin

This is a style error.