Fixed constructor precondition test