tree 54d2ca172d99b2a11752a69226cefab1670ffe4e
parent 82377a97b299347cd15cc1be13e1c8d04e33efbb
author Gustavo Niemeyer <gustavo@niemeyer.net> 1366224548 -0300
committer Gustavo Niemeyer <gustavo@niemeyer.net> 1366224548 -0300

Fix a couple of bugs reported by Roger.