A bit of styling. Fixes #671