diff --git a/README.md b/README.md
index c13ed713fc..53d2aba01e 100644
--- a/README.md
+++ b/README.md
@@ -548,7 +548,7 @@ function main(a: u32) {
 }
 ```
 
-#### `debug!`
+#### `console.debug`
 Enabled by specifying the `-d` flag after a Leo command.
 ```js
 function main(a: u32) {
@@ -557,7 +557,7 @@ function main(a: u32) {
 ```
 
 
-#### `error!`
+#### `console.error`
 Prints the error to console.
 ```js
 function main(a: u32) {
diff --git a/compiler/tests/group/mod.rs b/compiler/tests/group/mod.rs
index dc094726af..f175f9879f 100644
--- a/compiler/tests/group/mod.rs
+++ b/compiler/tests/group/mod.rs
@@ -1,7 +1,6 @@
 use crate::{
     assert_satisfied,
     expect_compiler_error,
-    expect_synthesis_error,
     field::field_to_decimal_string,
     generate_main_input,
     parse_program,
diff --git a/compiler/tests/mod.rs b/compiler/tests/mod.rs
index 7da698282b..32458f4255 100644
--- a/compiler/tests/mod.rs
+++ b/compiler/tests/mod.rs
@@ -155,12 +155,12 @@ pub(crate) fn expect_compiler_error(program: EdwardsTestCompiler) -> CompilerErr
     program.generate_constraints_helper(&mut cs).unwrap_err()
 }
 
-pub(crate) fn expect_synthesis_error(program: EdwardsTestCompiler) {
-    let mut cs = TestConstraintSystem::<Fq>::new();
-    let _output = program.generate_constraints_helper(&mut cs).unwrap();
-
-    assert!(!cs.is_satisfied());
-}
+// pub(crate) fn expect_synthesis_error(program: EdwardsTestCompiler) {
+//     let mut cs = TestConstraintSystem::<Fq>::new();
+//     let _output = program.generate_constraints_helper(&mut cs).unwrap();
+//
+//     assert!(!cs.is_satisfied());
+// }
 
 pub(crate) fn generate_main_input(input: Vec<(&str, Option<InputValue>)>) -> MainInput {
     let mut main_input = MainInput::new();