readFile reads correctly