small fix for code example on int17 homepage