Fix integer type incompatibility warnings in specs