Fixes some bug in the docs.