Add some specs for reading properties