correcting the hacky ARMP code