small fix, documentation link