Small bug fix in Observer.marginalizeOverPosition