Fixing another one-line mistake