small fixes already on huxley