Use a lighter gray. Fixes #13