Minor fix to the untested decodePropList.