Small fixes (#70)