Tweaks to get_customers(). #857