Added specs for mapped module