refined some explicitness