Fixed minor bug (introduced by previous commit).