Fixed double-release bug in previous commit.