A few extra things for version 1.0