fixes compilation bug for documentation