Added two rhs files