sophia-index: code style fixes.