some more release-time checking