Fix copy-paste error pointed out by @bronsa