Corrected a typo, found by Dirk Jagdmann <doj@cubic.org>