Fix lints found with latest lintr version

[IndrajeetPatil]

No description provided.

[github-actions]

This is how benchmark results would change (along with a 95% confidence interval in relative change) if 05eec8f is merged into main:

• ✔️cache_applying: 29ms -> 28.9ms [-5.93%, +4.81%]
• ✔️cache_recording: 435ms -> 429ms [-4.24%, +1.71%]
• ✔️without_cache: 1.01s -> 1s [-2.36%, +1.05%]

Further explanation regarding interpretation and methodology can be found in the documentation.

[lorenzwalthert]

thanks.