Fix a bug in container type defintion