minor codesize improvement