Input: fix bug in example code