This is some fixes that were discovered in the recent commits.
Pull-Request has been merged by abompard
This is some fixes that were discovered in the recent commits.