Fix string priority representation, fixes #23