[github] Fix #416