Fix three little mistakes