Fixes to merged pull requests