A couple more tiny fixes to Lenses@Home.