Indentation is weird; also comments should have a space after `//`