avoiding two more 'push' calls (closes #651)