vohi/core — pull request #4 by jimis (2013-05-27 16:43:13+00:00)
Title: small but necessary fixes

(merging your branch in my own somehow messed up my history, this is a very small fix so you might want to squash-merge to yours)