minor in-code detail