Fix minor styling issue (#9).