Fix bug in input specification