Fixed implicit notation