Tightened up code in hyrax package object