last bug fix regarding this stupid coverage stuff.. i hope i promise...