minor tweaks to right margin of ravel index