Fix typo
Allow calling set_horus_flag/2 without loading clpbn_horus