Fixed problems with inline verbatim Bash code and with minted Bash code.