Fixed a bug involving a call to the non-existant FullClover::Precision() method