Fix for double-included file