Minor change to printing buglist