small adjustments to hammerspoon config