Wconversion: fix #1578

That is definitely nicer.