cosmetic: move spec of internal function and make it more precise