correct the +RTS -? docs for -A (default is 512k not 256k)