fixing problem introduced by previous commit. this is only a temporary patch. everything should work now