removing [PropRef:X] notice in errors in main