some minor fix-up.