slight optimization of #102