Check-in for issue #63: Check-in missing file