Issue 17: Fix priority handling; fixes #17.