On Sun, May 7, 2017, 8:37 AM Philipp Stephani 

These should now be fixed with 3c4c8ca06e3306ccbcd07e354eb51abe53b52d22. 

Thanks!
--

Kaushal Modi