Fixed little docs bug