Fix up definitions view