hack to convert "None" into None