fix: whitespace in bash

Authored by ognarb on Mar 7 2020, 6:45 PM.