avoid page break in small listings by using floats, not minipages