Test if ncol(user_recdevs) is OK; also unit test this