Oops: fix my overly-aggressive 's/ && / ; /'.