minor tweaks to prod