fixed bug (introduced in previous commit)