Fixing error introduced in f9dfafc.