Re: #1257 performance enhancement