Tiny style change that should have been in pr 744