Comment by alexwestholm

Thanks for the tips! I probably could have picked a better day to release this - RIP Dennis Ritchie! I'll probably follow your suggestions at some point next week.