Minor fixes

Just fixing a type and a broken link