Fix syntax adapting Int result to Short