tree f15fe132eab66b7074041e0478bf197003deeb25
parent 1638d5f10cad2f7a7f95f0d86e1e776e6e86ef1a
author Till Westmann <westmann@gmail.com> 1395796637 -0700
committer Till Westmann <westmann@gmail.com> 1395796637 -0700

some small cleanup