small fixes to previous push