Fixed JML conditions.