another cosmetic update to ask-ip