don't blow away previous contents of this variable. fixes #4022