Bug triage: easy fixes for issues #3843, #2618, #4943

r? anybody