I just copied that stuff from the code in bootstrap. It'll change a bit when I merge with Gilad.