minor tweaks to ravel index