another minor fix amended