Obligatory small-bug-correcting commit.