Fix tidy error