Fix a bug in dutch national flag sorting