Fix silly tidy mistake