debug-- and convert spaces to tabs

Signed-off-by: Steven Armstrong <steven.armstrong@id.ethz.ch>