Mention recent bugfix (#6) in the changelog
Make 'make coverage' more concise