Fixing an error I introduced in d532e5a8bb7167e0cc9d31f882972631fd4aaf8c.