Correction to commit 878d67f10a4fc36e58a1c41226b09ce9976439a6