some doc extensions