More minor fix (for my Mac environment)