I ran into the same problem, and this is the correct behavior according to the SV spec. See this question I posted here: