I have reported this potential bug to our QA team. They will try to reproduce it and get back to me with a bug number if they find an issue. It sounds like a bug if it only happens with that particular design. If that is the case, we will get it fixed for the next release.