Minor stylistic update.