On Sat, 5 Jul 2014, Carl Johnson wrote: > Sorry, I should have mentioned that I installed from the package. Problem confirmed, the package has the same problem here. I've notified doceng and will look into it later if someone has not already fixed it by then. Yes, when you notice this type of problem, please enter a PR. Thanks!