Some minor fixes (#31).