cosmetics
added checkProperties goal
cosmetics