another minor fix….