Fix copy/paste error in [88a6a8d]