Fix compile error, formatting