review-related tweaks for #73