This was a simple change that got mixed up in OS_ASSERT merging

[#0]