Workaround for GitHub bug