Fixes Bug 17: Nasty interface contract bug