Added annotations and dots to case matches