Don't know why this commit is necessary