small fixes from feedback in #17