minor correction of type