Fix warnings

2 jobs for !144 with issue_511_verify in 6 minutes and 20 seconds (queued for 3 seconds)
merge request