Fix a cut'n paste type for #50