Merge branch 'Mike' of https://github.com/MikevanLoe/IndoorNav into Davey
bug fix
pre-release