the correct code highlighting