fix that linting error.

20 jobs for glpk in 8 minutes and 22 seconds (queued for 2 seconds)