make operators const (fix #10)