use semicolon for bash to be happy