[Galaxy-user] bug in "coverage"