Fixed problem introduced by commit e72ef9287

Fixed my mistake.