fixing compile bug for documentation