minor cleanup (oops, forgotten previous commit)