This change is already made in #3.