another small efficiency