fixes little bug in previous commit.