Fix double inclusion