Proper gerber extensions