[USERINIT]: Addendum to r72823 (sorry for the redundant commits): Fix a use without...