fix bug for documentation compiling