Fixed the need for double import when using the synth package