To appear in Journal of Mathematical Physics