Require bugfixed pthelma 0.7.3