check in minor fix