Made small docs fix for push test.