Workaround an error due to a returned char pointer