trivial fix on index