Make get_sct() static
Some more style fixes