Fixed bug in 9, recreated package for docs; turns out it is necessary