Correction as per comment to PR#43.