OK, got it -- this seems fine as is then.