Signed-off-by: Rosen Penev rosenp@gmail.com
not sure if this is a good idea or not. Seems fine to me.