Fix bug in docs list