Minor fixes #1190

Job	Run time
Lint	6m 24s
cargo-deny	1m 30s
Android (ubuntu-24.04, aarch64-linux-android)	9m 11s
Test (ubuntu-24.04)	11m 17s
Test (macOS-latest)	15m 53s
Compiletest (ubuntu-24.04)	7m 58s
Test (windows-2022)	18m 46s
Compiletest (windows-2022)	16m 20s
Compiletest (macOS-latest)	9m 5s
Difftest (ubuntu-24.04)	14m 28s
Difftest (macOS-latest)	16m 32s
Difftest (windows-2022)	24m 49s
test_success	4s
	2h 32m 17s

Provide feedback