A fix so github doesn't make everything a string