minor fix ...