bug fix on building of docs.