Fix some mucked up syntax