Fixing a few syntax things