fixing def-let