small fixes made by hf