include correction and changing test to avoid supplementary unary minus