Make tortoisedoc happy