[#4] Added coverspec.