fix formatting, remove ASSERT from getProperty (should eliminate superfluous persists)