No ticket: Fix version comparison. Thanks @Krinkle!