Fixed incorrect declaration of an int as char (why no warning?), exposed by system tests on Raspberry Pi.