Add a smidge more width for #726