added workaround for underscore in man export