minor dependent type changes; syntax fix